Optimal. Leaf size=54 \[ -\frac{a C+A b}{x}-\frac{a A}{3 x^3}+\log (x) (a D+b B)-\frac{a B}{2 x^2}+b C x+\frac{1}{2} b D x^2 \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.100487, antiderivative size = 54, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.038 \[ -\frac{a C+A b}{x}-\frac{a A}{3 x^3}+\log (x) (a D+b B)-\frac{a B}{2 x^2}+b C x+\frac{1}{2} b D x^2 \]
Antiderivative was successfully verified.
[In] Int[((a + b*x^2)*(A + B*x + C*x^2 + D*x^3))/x^4,x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [F] time = 0., size = 0, normalized size = 0. \[ - \frac{A a}{3 x^{3}} - \frac{B a}{2 x^{2}} + D b \int x\, dx + b \int C\, dx + \left (B b + D a\right ) \log{\left (x \right )} - \frac{A b + C a}{x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((b*x**2+a)*(D*x**3+C*x**2+B*x+A)/x**4,x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.0327333, size = 55, normalized size = 1.02 \[ \frac{-a C-A b}{x}-\frac{a A}{3 x^3}+\log (x) (a D+b B)-\frac{a B}{2 x^2}+b C x+\frac{1}{2} b D x^2 \]
Antiderivative was successfully verified.
[In] Integrate[((a + b*x^2)*(A + B*x + C*x^2 + D*x^3))/x^4,x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.01, size = 51, normalized size = 0.9 \[{\frac{bD{x}^{2}}{2}}+bCx+Bb\ln \left ( x \right ) +D\ln \left ( x \right ) a-{\frac{Aa}{3\,{x}^{3}}}-{\frac{Ba}{2\,{x}^{2}}}-{\frac{Ab}{x}}-{\frac{aC}{x}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((b*x^2+a)*(D*x^3+C*x^2+B*x+A)/x^4,x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 1.34776, size = 66, normalized size = 1.22 \[ \frac{1}{2} \, D b x^{2} + C b x +{\left (D a + B b\right )} \log \left (x\right ) - \frac{3 \, B a x + 6 \,{\left (C a + A b\right )} x^{2} + 2 \, A a}{6 \, x^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((D*x^3 + C*x^2 + B*x + A)*(b*x^2 + a)/x^4,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.223168, size = 74, normalized size = 1.37 \[ \frac{3 \, D b x^{5} + 6 \, C b x^{4} + 6 \,{\left (D a + B b\right )} x^{3} \log \left (x\right ) - 3 \, B a x - 6 \,{\left (C a + A b\right )} x^{2} - 2 \, A a}{6 \, x^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((D*x^3 + C*x^2 + B*x + A)*(b*x^2 + a)/x^4,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 1.68682, size = 53, normalized size = 0.98 \[ C b x + \frac{D b x^{2}}{2} + \left (B b + D a\right ) \log{\left (x \right )} - \frac{2 A a + 3 B a x + x^{2} \left (6 A b + 6 C a\right )}{6 x^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x**2+a)*(D*x**3+C*x**2+B*x+A)/x**4,x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.211784, size = 68, normalized size = 1.26 \[ \frac{1}{2} \, D b x^{2} + C b x +{\left (D a + B b\right )}{\rm ln}\left ({\left | x \right |}\right ) - \frac{3 \, B a x + 6 \,{\left (C a + A b\right )} x^{2} + 2 \, A a}{6 \, x^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((D*x^3 + C*x^2 + B*x + A)*(b*x^2 + a)/x^4,x, algorithm="giac")
[Out]